Reader reproduction instructions

Compile manuscript/main.tex with its listed LaTeX packages. The numerical
diagnostics require NumPy. To check exact public package identities only:
  python -B verification/verify_package.py
To run the retained finite diagnostics in fresh temporary scratch:
  python -B verification/verify_package.py --full
Set TEMP/TMP or TMPDIR to your intended scratch directory first. The standalone
p=7 and malformed-input controls support --output-dir; inspect their --help.
 Finite
diagnostics, package identity and analytic proof have separate roles.
